VSubSet(void) VSubSet(VSubSet& s) VSubSet& operator=(VSubSet& s) void debug_out(ostream& c, int indent)
Standard housekeeping functions.